Modeling Relaxed Memory Consistency Protocols
نویسندگان
چکیده
This paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN's) for analyzing memory consistency protocols for multiprocessors with Distributed Shared Memory (DSM). DSPN's are a numerically solvable modeling formalism with a graphical representation. The modeling approach addresses in particular the performance degradation due to the amount of message exchange, which is an important issue in software implementations of DSM with shared pages. DSPN's are employed for a comparative performance study of an adaptive memory consistency protocol, an eager-invalidate, and a delayed-invalidate release consistency protocol in a software implementation of DSM.
منابع مشابه
Implementation and Evaluation of Update-Based Cache Protocols Under Relaxed Memory Consistency Models1
Invalidation-based cache coherence protocols have been extensively studied in the context of large-scale shared-memory multiprocessors. Under a relaxed memory consistency model, most of the write latency can be hidden whereas cache misses still incur a severe performance problem. By contrast, update-based protocols have a potential to reduce both write and read penalties under relaxed memory co...
متن کاملImplementation and evaluation of update-based cache protocols under relaxed memory consistency models
Invalidation-based cache coherence protocols have been extensively studied in the context of large-scale shared-memory multiprocessors. Under a relaxed memory consistency model, most of the write latency can be hidden whereas cache misses still incur a severe performance problem. By contrast, update-based protocols have a potential to reduce both write and read penalties under relaxed memory co...
متن کاملFormal Verification of Delayed Consistency Protocols
In a cache-coherent, shared-memory multiprocessor system, data consistency among cached copies can be delayed until synchronization points under relaxed memory consistency models. Some protocols called delayed consistency protocols take advantage of this flexibility to reduce cache miss rates and memory traffic. However, they are very complex and validating their correctness, even at the behavi...
متن کاملLow Cost Coherence Protocol for DSM Systems with Processor Consistency
Modern Distributed Shared Memory (DSM) systems offer high speed application processing by allowing to use relaxed consistency models, such as processor consistency. Unfortunately, most of the existing coherence protocols implementing relaxed consistency in multiprocessors or loosely couples clusters use write-update strategy which incurs large communication overhead, and therefore is impractica...
متن کاملEvaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri Nets
This paper introduces a modeling approach for evaluating the performance of consistency models for Virtually Shared Memory systems. The proposed approach employs Deterministic and Stochastic Petri Nets (DSPNs) which provide a unified modeling tool for both qualitative and quantitative analysis. A DSPN of a sequential consistency model is presented which is employed for a quantitative performanc...
متن کامل